Regular function

Results: 90



#Item
21Model theory / Formal languages / Metalogic / First-order logic / Interpretation / Witness / Function / Presburger arithmetic / Well-formed formula / Logic / Mathematics / Mathematical logic

Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan†

Add to Reading List

Source URL: alpha.uhasselt.be

Language: English - Date: 2014-07-02 10:40:42
22Differential calculus / Damping / Differential equation / Bessel function / Regular singular point / Sturm–Liouville theory / Wave equation / Mathematical analysis / Ordinary differential equations / Calculus

Differential Equations The subject of ordinary differential equations encompasses such a large field that you can make a profession of it. There are however a small number of techniques in the subject that you have to kn

Add to Reading List

Source URL: www.physics.miami.edu

Language: English - Date: 2012-12-07 14:32:17
23Mathematics / Formal methods / Nondeterministic finite automaton / Linear temporal logic / Finite-state machine / Function / Symbol / Büchi automaton / Automata theory / Models of computation / Theoretical computer science

Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2010-08-02 10:05:45
24Combinatorics on words / Theoretical computer science / String / Constructible universe / Function / Substring / Μ operator / Pumping lemma for regular languages / Mathematics / Formal languages / Combinatorics

Models of Computation Lecture 1: Strings [Fa’14] THOMAS GODFREY, a self-taught mathematician, great in his way, and afterward inventor of what is now called Hadley’s Quadrant. But he knew little out of his way, and

Add to Reading List

Source URL: web.engr.illinois.edu

Language: English - Date: 2014-12-28 09:04:59
25Models of computation / Theoretical computer science / Functions and mappings / Calculus / Ω-automaton / Finite state transducer / Continuous function / Derivative / Computability / Automata theory / Mathematics / Mathematical analysis

Regular Real Analysis Swarat Chaudhuri Rice University Sriram Sankaranarayanan

Add to Reading List

Source URL: www.cs.rice.edu

Language: English - Date: 2013-04-26 17:57:31
26Scripting languages / Regular expressions / Pattern matching / Cross-platform software / Subroutines / Foobar / Main function / Find / Conditional / Computing / Software engineering / Computer programming

Client/Server Technology Exam Summer 2002 Time allowed: Two hours All commands and examples correspond to Linux/bash if not stated otherwise Answer all questions

Add to Reading List

Source URL: herbert.the-little-red-haired-girl.org

Language: English - Date: 2009-07-29 03:21:48
27Degree distribution / Topology / Connectivity / Scale-free network / Networks / Regular graph / Degeneracy / Erdős–Rényi model / Complex network zeta function / Graph theory / Network theory / Random graph

Remarks on bootstrap percolation in metric networks

Add to Reading List

Source URL: www.weizmann.ac.il

Language: English - Date: 2009-05-05 22:21:12
28Calculus / Complex analysis / Archimedes / Pi / Function / The Quadrature of the Parabola / Geometric series / Series / Mathematical analysis / Mathematics / Mathematical series

paradox Welcome to the final issue of Paradox for the year. We do not have our regular Paradox competition this time, but do not despair! We have news of an exciting T–shirt competition to tickle the fancies of any mat

Add to Reading List

Source URL: www.ms.unimelb.edu.au

Language: English - Date: 2011-11-19 03:23:14
29Quantum mechanics / Partial differential equations / Equations / Differential geometry / Symbol / Physics / Quantum field theory / Relativistic Breit–Wigner distribution

CONTROLLING THE DISTRIBUTION FUNCTION AT STOCHASTIC ACCELERATION OF CHARGED PARTICLES BY A REGULAR ELECTROMAGNETIC WAVE IN AN EXTERNAL MAGNETIC FIELD V.A. Buts, O.V. Manuilenko, A.P. Tolstoluzhsky, Yu.A. Turkin Institute

Add to Reading List

Source URL: www.kipt.kharkov.ua

Language: English - Date: 2009-07-14 07:20:01
30Phyllocladus / Diselma / Pine / Pinales / Podocarpaceae / Flora of Tasmania

rCELERY TOP PINE (Phyllocladus rhomboidalis). This is an erect tree with rather regular spreading, or depressed branches and it grows to about 60 it.o The leaves are minute scales, their function !being performed by the

Add to Reading List

Source URL: www.tasfieldnats.org.au

Language: English - Date: 2012-06-29 23:13:48
UPDATE